body { margin: 1em; font-family: "Minion Pro", serif; max-width: 1024px; }
h1, h2, h3, h4, .jstree-default { font-family: Lato; } 
code, pre { font-family: Consolas, monospace; }
code.dom { font-weight: bold; }
button { font-size: 90%; }
pre#initial { margin-left: 1em; }

/* the ⓘ symbol */
.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted blue;
}

.tooltip .tooltiptext {
  visibility: hidden;
  width: 300px;
  background-color: #eff;
  color: #333;
  border-radius: 6px;
  border: thin solid blue;
  padding: 1em;

  /* Position the tooltip */
  position: absolute;
  z-index: 1;
}

.tooltip:hover .tooltiptext {
  visibility: visible;
}


